Principles of Abstract Interpretation
نویسندگان
چکیده
منابع مشابه
Abstract Interpretation: Principles and Applications
interpretation is a theory of abstraction and constructive approximation of the mathematical structures used in the formal description of complex or infinite systems and the inference or verification of their combinatorial or undecidable properties. Developed in the late seventies with Radhia Cousot, it has been since then applied to many aspects of computer science (such as static analysis and...
متن کاملAnalysis of disassembled executable codes by abstract interpretation
The aim of this paper is to dene the abstract domain, abstract operator, abstract semantic, the environments and states of disassembled executable codes as well as a way to analysis the disassembled executable codes. Nowadays, static analysis on disassembled code going to grow. Reverse engineering and malware analysis use this technique. Thus, we tried to perform pluralization the requirements ...
متن کاملFoundations of Abstract Interpretation
Semantics Similar to concrete semantics: A complete lattice (L#, ≤) as the domain for abstract elements A monotone function F# corresponding to the concrete function F Then the abstract semantics is the least fixed point of F#, lfp F# If F# “correctly approximates” F, then lfp F# “correctly approximates” lfp F. An Example Abstract Domain for Values of Variables How to relate the two? Co...
متن کاملAutomating Abstract Interpretation of Abstract Machines
Static program analysis is a valuable tool for any programming language that people write programs in. The prevalence of scripting languages in the world suggests programming language interpreters are relatively easy to write. Users of these languages lament their inability to analyze their code, therefore programming language analyzers are not easy to write. This thesis investigates a systemat...
متن کاملAbstract Interpretation over Non-lattice Abstract Domains
Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbourne, Victoria 3010, Australia {gkgange,jorge.navas,schachte,harald,pstuckey}@unimelb.edu.au Abstract. The classical theoretical framework for static analysis of programs is abstract interp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2022
ISSN: ['1433-299X', '0934-5043']
DOI: https://doi.org/10.1145/3546953